We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and (...) proof normalization. We have implemented our work in the Isabelle Logical Framework. (shrink)

In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propositional modal logics that includes K, D, T, B, S4, S4.2, KD45, and S5. Here we extend this approach to quantified modal logics, providing formalizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to both properties of the accessibility relation in the Kripke frame and the way domains of individuals change between worlds. (...) Our approach has a modular metatheory too; soundness, completeness and normalization are proved uniformly for every logic in our class. Finally, our work leads to a simple implementation of a modal logic theorem prover in a standard logical framework. (shrink)

Training in the responsible conduct of research (RCR) is required for many research trainees nationwide, but little is known about its effectiveness. For a preliminary assessment of the effectiveness of a short-term course in RCR, medical students participating in an NIH-funded summer research program at the University of California, San Diego (UCSD) were surveyed using an instrument developed through focus group discussions. In the summer of 2003, surveys were administered before and after a short-term RCR course, as well as to (...) alumni of the courses given in the summers of 2002 and 2001. Survey responses were analyzed in the areas of knowledge, ethical decision-making skills, attitudes about responsible conduct of research, and frequency of discussions about RCR outside of class. The only statistically significant improvement associated with the course was an increase in knowledge, while there was a non-significant tendency toward improvements in ethical decision-making skills and attitudes about the importance of RCR training. The nominal impact of a short-term training course should not be surprising, but it does raise the possibility that other options for delivering information only, such as an Internet-based tutorial, might be considered as comparable alternatives when longer courses are not possible. (shrink)

Transhumanism is a sociopolitical and intellectual movement focused on the use of technology to transform humans and the human experience. Transhumanism promises that, through the use of physical and cognitive enhancements, humans will be able to achieve the “good life.” However, understandings of “enhancement” and “the good life” vary across time, place, and culture. Additionally, the biological modification/elimination of a specific characteristic may lead to not only loss the loss of that feature, but of a specific personal identity as well. (...) The potential consequences of transhumanist enhancement suggest both that they may constitute a newer form of eugenics and that they may lead to the production of new societal inequalities. (shrink)

In some views, philosophy’s glory days in bioethics are over. While philosophers were especially important in the early days of the field, so the argument goes, the majority of the work in bioethics today involves the “simple” application of existing philosophical principles or concepts, as well as empirical work in bioethics. Here, we address this view head on and ask: What is the role of philosophy in bioethics today? This paper has three specific aims: (1) to respond to skeptics and (...) make the case that philosophy and philosophers still have a very important and meaningful role to play in contemporary bioethics, (2) to discuss some of the current challenges to the meaningful integration of philosophy and bioethics, and (3) to make suggestions for what needs to happen in order for the two fields to stay richly connected. We outline how bioethics center directors, funders, and philosopher bioethicists can help. (shrink)

Everyone has an opportunity to contribute to climate solutions. To help people engage with this opportunity, it is critical to understand how climate organizations and fundraisers can best communicate with people and win their financial support. In particular, fundraisers often rely on practical skills and anecdotal beliefs at the expense of scientific knowledge. Fundraisers could be motivated to achieve a substantial boost in funding for climate solutions, if there is evidence of the financial gains that science-based fundraising makes available. In (...) this Perspective, we provide a preliminary foray into such evidence. We bring together findings from philanthropic research and climate psychology to identify what factors can help captivate donors. Then, through an experimental study of a charitable appeal for a climate charity, we show how putting these factors into practice may contribute toward an increase in donated money. This provides optimism that evidence-based fundraising can inspire donors to contribute much-needed resources toward climate solutions. (shrink)

“Only a living person can be a dying one,” writes Augustine in De ciuitate dei 13.9. For Augustine, this strange fact offers us an occasion for reflection. If we are indeed racing toward the end on a cursus ad mortem, when do we pass the finish line? A living person is “in life”, while a dead one is post mortem. But as ciu. 13.11 asks: is anyone ever in morte, “in death?” This question must be asked alongside an earlier one, (...) which had motivated Augustine’s struggle in Confessiones 11.14.17 to make sense of time from the very beginning: quid est enim tempus? What is at stake here is whether or not there is such a thing as an instant of death: a moment when someone is no longer alive but not yet dead, a moment when they are “dying” in the present tense. If we want to understand Augustine’s question about the time of death in ciu. 13, then we have to frame it in terms of the interrogation of time proper in conf. 11. (shrink)

Perceived size is a function of viewing distance, retinal images size, and various contextual cues such as linear perspective and the size and location of neighboring objects. Recently, we demonstrated that illusion magnitudes of classic visual size illusions may be greatly enhanced or reduced by adding dynamic elements. Specifically, a dynamic version of the Ebbinghaus illusion (classically considered a “size contrast” illusion) led to a greatly enhanced illusory effect, whereas a dynamic version of the Corridor illusion (a “size constancy” illusion) (...) led to a greatly diminished illusory effect. Although these differences may arise from the different processes underlying these illusions (size contrast vs. size constancy), the dynamic variants we tested in our previous work also differed in the nature of the dynamic elements; specifically, whereas the Dynamic Ebbinghaus included a moving target and inducers that changed size and position, the Dynamic Corridor only included a moving target on a static background. Here, we explore further dynamic versions of the Ebbinghaus illusion and the Corridor and Ponzo illusions by separately manipulating three types of dynamic elements: target motion, context translation, and dynamic changes in context. Across five experiments examining 21 dynamic illusory configurations, adding target motion or a dynamically changing context separately resulted in little-to-no illusory effect. In contrast, the combination of target motion and a dynamically changing context led to a robust size illusion, consistent with an interactive effect. However, illusory effects that exceeded the matched classic, static illusory configuration were only observed for the dynamic versions of the Ebbinghaus illusion and the Revealed Ponzo illusions, in which the contextual elements changed size. We conclude that the combination of target motion and a dynamically changing context are necessary to produce dynamic size illusions, but that enhancement above and beyond static illusions may be largely specific to size contrast effects. Our results have important implications for the integration of motion signals, a ubiquitous environmental stimulus, in the perception of object size. (shrink)

Women and Comedy: History, Theory, Practice brings together leading researchers from Canada, the United States, and Europe in an interdisciplinary collection of essays to chart the future of critical inquiry in gender and comedy studies.

This book is a collection of secondary essays on America's most important philosophic thinkers—statesmen, judges, writers, educators, and activists—from the colonial period to the present. Each essay is a comprehensive introduction to the thought of a noted American on the fundamental meaning of the American regime.

The Heythrop Journal, Volume 63, Issue 2, Page 324-325, March 2022.

Matthew MacKenzie’s Buddhist Philosophy and the Embodied Mind is, indeed, a constructive engagement between Indo-Tibetan Buddhism and enactive cognitive science. The book is concise and clearly wri...

This paper critically engages ethical issues in the allocation of novel, and potentially costly, health care resources to patients with disorders of consciousness. First, we review potential benefits of novel health care resources for patients and their families and outline preliminary considerations to address concerns about cost. We then address two problems regarding the allocation of health care resources to patients with disorders of consciousness: (1) the problem of uncertain moral status; and (2) the problem of accurately measuring the welfare (...) burdens these resources would relieve. We conclude by suggesting that opportunity-based frameworks might complement standard approaches for justifying resources allocation to patients with disorders of consciousness. (shrink)

Moritz Schlick, Rudolf Carnap and Herbert Feig are the most prominent of the positivists to formulate views on the mind-body problem (aside from Hempel’s one-off treatment in 1935). While their views differed from each other and changed over time they were all committed to some form of scientific physicalism, though a linguistic or conceptual rather than ontological form of it. In focus here are their views during the heyday of logical positivism and its immediate aftermath, though some initial scene-setting of (...) Schlick’s and Carnap’s pre-positivist views will help to understand the final opposing positions of Carnap and Feigl. (shrink)

In tackling emergentist Marxism in depth, this well-written volume demonstrates that critical realism and materialist dialectics are indispensable to theorizing the functioning of complex social and physical systems. Author Sean Creaven investigates Marxâes dialectics of being and consciousness, forces and relations of production, base and superstructure, class structure and class conflict, and demonstrates how they allow the social analyst to conceptualize geo-history as embodying a tendential evolutionary directionality, rather than as simply random or indeterminate in terms of its outcomes. (...) For those interested in social and political theory, Marxism and communism and contemporary social theory, this outstanding volume is an in important read and a valuable resource. (shrink)

What makes something a part of my body, for moral purposes? Is the body defined naturalistically: by biological relations, or psychological relations, or some combination of the two? This paper approaches this question by considering a borderline case: the status of prostheses. I argue that extant accounts of the body fail to capture prostheses as genuine body parts. Nor, however, do they provide plausible grounds for excluding prostheses, without excluding some paradigm organic parts in the process. I conclude by suggesting (...) that embodiment is moralized all the way down: to be a body part is to be the sort of thing that ought to be protected, in a certain way, by social practices. (shrink)

In the final year of his long life, eminent Thomist philosopher Jacques Maritain prepared a final book for publication: a collection of previously unpublished writings entitled Approaches san entraves, later translated into English as Untrammeled Approaches. That collection, both in its conversational yet reverent tone and in its weighty topics - faith, love, truth, beauty - gives the reader the sense that she is receiving from a great teacher and friend the most important nuggets of wisdom for the next generation. (...) Throughout the book, Maritain shares with his readers, from his heart as well as his intellect, regarding the things that really matter; that book - and those things - are the primary inspiration for the present volume. This volume, comprised of original essays by twenty English-speaking Thomists on the occasion of the twentieth anniversary of Untrammeled Approaches' first English appearance, explores several of Maritain's still-untrammeled (or at least less-trammeled) themes. While following his unbeaten paths, the contributing authors find and refine hidden treasures at every turn. They develop some of his more speculative ideas regarding the spiritual world - including the last things, the fate of the fallen angels, and a possible angelic role in evolution. They reflect deeply on a few of Maritain's recurring themes: for example, the nature of beauty and intuition. They analyze the implications - positive and negative - of Maritain's philosophy of love, marriage, and sexuality. And they consider and apply his arguments regarding appropriate roles and interactions of Church and state. The volume concludes with big-picture reflections on Maritain, his thought, and his enduring relevance. The contributors to this volume are: Michael Breidenbach, Romanus Cessario, OP, John Conley, SJ, Mario O. D'Souza, CSB, Travis Dumsday, Heather Erb, Lawrence Feingold, Megan Furman, Marie George, James Hanink, Gregory Kerr, William McCormick, SJ, Matthew Minerd, Mark Moes, Michael Novak, Michael Pakuluk, Alice Ramos, Walter Schultz, Michael Torre, Nikolaj Zunic. (shrink)

According to Russellianism (or Millianism), the two sentences ‘Ralph believes George Eliot is a novelist’ and ‘Ralph believes Mary Ann Evans is a novelist’ cannot diverge in truth-value, since they express the same proposition. The problem for the Russellian (or Millian) is that a puzzle of Kaplan’s seems to show that they can diverge in truth-value and that therefore, since the Russellian holds that they express the same proposition, the Russellian view is contradictory. I argue that the standard Russellian appeal (...) to “ways of thinking” or “propositional guises” is not necessary to solve the puzzle. Rather than this retrograde concession to Fregeanism, appeal should be made to second-order belief. The puzzle is solved, and the contradiction avoided, by maintaining that both sentences are indeed true in addition to the sentence ‘Ralph (mistakenly) believes that he does not believe Mary Ann Evans/George Eliot is a novelist’. (shrink)

The identity theory’s rise to prominence in analytic philosophy of mind during the late 1950s and early 1960s is widely seen as a watershed in the development of physicalism, in the sense that whereas logical behaviourism proposed analytic and a priori ascertainable identities between the meanings of mental and physical-behavioural concepts, the identity theory proposed synthetic and a posteriori knowable identities between mental and physical properties. While this watershed does exist, the standard account of it is misleading, as it is (...) founded in erroneous intensional misreadings of the logical positivists’—especially Carnap’s—extensional notions of translation and meaning, as well as misinterpretations of the positivists’ shift from the strong thesis of translation-physicalism to the weaker and more liberal notion of reduction-physicalism that occurred in the Unity of Science programme. After setting the historical record straight, the essay traces the first truly modern identity theory to Schlick’s pre-positivist views circa 1920 and goes on to explore its further development in Feigl, arguing that the fundamental difference between the Schlick-Feigl identity theory and the more familiar and influential Place-Smart-Armstrong identity theory has resurfaced in the deep and seemingly unbridgeable gulf in contemporary philosophy of consciousness between inflationary mentalism and deflationary physicalism. (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such as the (...) aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

Quine introduced a famous distinction between the ‘notional’ sense and the ‘relational’ sense of certain attitude verbs. The distinction is both intuitive and sound but is often conflated with another distinction Quine draws between ‘dyadic’ and ‘triadic’ (or higher degree) attitudes. I argue that this conflation is largely responsible for the mistaken view that Quine’s account of attitudes is undermined by the problem of the ‘exportation’ of singular terms within attitude contexts. Quine’s system is also supposed to suffer from the (...) problem of ‘suspended judgement with continued belief’. I argue that this criticism fails to take account of a crucial presupposition of Quine’s about the connection between thought and language. The aim of the paper is to defend the spirit of Quine’s account of attitudes by offering solutions to these two problems. (shrink)

The present chapter attempts to resolve a puzzle about normative testimony. On the one hand, agents act on the advice of others, advice which purports to tell them what they have reason to do. When they do so, they can act for good reason. This thought, though, sits uneasily with another: that the mere fact that someone has advised a course of action is not itself a reason. An interesting view of reasons recently defended by Stephen Kearns and Daniel Star (...) offers a resolution to the puzzle. On this view, reasons are evidence, specifically evidence concerning what one ought to do. If they are correct, then sufficiently good advice is, it turns out, itself a reason, and it is then no puzzle that an agent who acts on such advice is acting for a good reason. The chapter argues that this account of reasons is subject to counterexamples. There are reasons which are not evidence and evidence which is not a reason. This view of reasons cannot therefore hold the key to solving the puzzle of normative testimony. The solution to the puzzle of normative testimony lies instead in a more careful account of what it is to act for a reason. Such an account can preserve both the intuition that advice is not an independent reason and the thought that agents who act on sound advice act for good reason. The account also explains how agents can act for “elusive reasons.” These are facts which are reasons but which would not be if the agent became sufficiently aware of them. (shrink)

This paper argues that disabled people can be healthy. I argue, first, following the well-known ‘social model of disability’, that we should prefer a usage of ‘disabled’ which does not imply any kind of impairment that is essentially inconsistent with health. This is because one can be disabled only because limited by false social perception of impairment and one can be, if impaired, disabled not because of the impairment but rather only because of the social response to it. Second, I (...) argue that it is often wrong to use the term ‘healthy’ in a way that makes health inconsistent with any degree whatsoever of health-relevant bodily dysfunction. Whether someone is ‘healthy’ properly-so-called depends on standards of health presupposed in conversational context. Sometimes, I argue, these standards are or ought to be lax enough to allow some people with some health deficits still to count as ‘healthy’ per se. Taking inspiration from David Lewis and Mary Kate Mcgowan, I go on to argue that denying that someone is ‘healthy’ in a context typically succeeds in shifting going presuppositions to require standards strict enough to make that denial acceptable. And this, I conclude by arguing, often constitutes an abuse of conversational power. (shrink)

Bhaskar's "Spiritual turn" : logical and conceptual problems -- Meta-reality, critical realism, and Marxism -- Secularism, agnosticism, and theism -- Critical realism, transcendence, and God -- Humanism, spiritualism, and critical theory.

Sean Crawford; Discussions: In Defence of Object-Dependent Thoughts, Proceedings of the Aristotelian Society, Volume 98, Issue 1, 1 June 1998, Pages 201–210, ht.

The French philosopher Maurice Merleau-Ponty claims that there are two distinct ways in which we can understand the place of an object when we are visually apprehending it. The first involves an intentional relation to the object that is essentially cognitive or can serve as the input to cognitive processes; the second irreducibly involves a bodily set or preparation to deal with the object. Because of its essential bodily component, Merleau-Ponty calls this second kind of understanding ‘motor intentional’. In this (...) paper I consider some phenomenological, conceptual, and cognitive neuro-scientific results that help to elucidate and defend the distinction between intentional and motor intentional activity. I go on to argue that motor intentional activity has a logical structure that is essentially distinct from that of the more canonical kinds of intentional states. In particular, the characteristic logical distinction between the content and the attitude of an intentional state does not carry over to the motor intentional case. (shrink)

The existence of object-dependent thoughts has been doubted on the grounds that reference to such thoughts is unnecessary or 'redundant' in the psychological explanation of intentional action. This paper argues to the contrary that reference to object-dependent thoughts is necessary to the proper psychological explanation of intentional action upon objects. Section I sets out the argument for the alleged explanatory redundancy of object-dependent thoughts; an argument which turns on the coherence of an alternative 'dual-component' model of explanation. Section II rebuts (...) this argument by showing the dual-component model to be incoherent precisely because of its exclusion of object-dependent thoughts. Section III concludes with a conjecture about the further possible significance of object-dependent thoughts for the prediction of action. (shrink)

A common finding in the study of emotion and decision making is the tendency for fear and anxiety to decrease risk taking. The current meta-analysis summarises the strength and variability of this...

The received view in the history of the philosophy of psychology is that the logical positivists—Carnap and Hempel in particular—endorsed the position commonly known as “logical” or “analytical” behaviourism, according to which the relations between psychological statements and the physical-behavioural statements intended to give their meaning are analytic and knowable a priori. This chapter argues that this is sheer legend: most, if not all, such relations were viewed by the logical positivists as synthetic and knowable only a posteriori. It then (...) traces the origins of the legend to the logical positivists’ idiosyncratic extensional or at best weakly intensional use of what are now considered crucially strongly intensional semantic notions, such as “translation,” “meaning” and their cognates, focussing on a particular instance of this latter phenomenon, arguing that a conflation of explicit definition and analyticity may be the chief source of the legend. (shrink)

Technological measures meant to change sexual orientation are, we have argued elsewhere, deeply alarming, even and indeed especially if they are safe and effective. Here we point out that this in part because they produce a distinctive kind of ‘clinical collective action problem’, a sort of dilemma for individual clinicians and researchers: a treatment which evidently relieves the suffering of particular patients, but in the process contributes to a practice that substantially worsens the conditions that produce this suffering in the (...) first place. We argue that the role obligations of clinicians to relieve the suffering of their patients put them in a poor position to solve this problem, though they can take measures to avoid complicity in the harms that would result from widespread use of individually safe and effective reorientation biotechnology. But in the end the medical community as a whole still seems obligated to provide these measures, if they become technologically feasible. Medical researchers are in a better position to prevent the harms that would result if reorientation techniques were safe, effective and widely available. We argue that the harms attendant on the development of safe and effective re-orientation techniques give researchers reason to avoid ‘applied‘ research aimed at developing these techniques, and to be careful in the conduct of basic orientation research which might be applied in this way. (shrink)

The Public Justification Principle requires that coercive institutions be justified to all who live under them. I argue that this principle often cannot be satisfied without persons depending on the pure informative testimony of others, even under realistically idealized situations. Two main results follow. First, the sense of justification relevant to this principle has a strongly externalist component. Second, normative expectations of trust are essential to public justification. On the view I propose, whether the Public Justification Principle is satisfied depends (...) on the features of the network of testifiers in which persons are embedded. I consider several such networks to show which features are plausibly relevant. The importance of testimony for public justification ultimately suggests that we should moderate our expectations about the kind of conciliation we can achieve with the social order in which we live. (shrink)

The paper presents a new theory of perceptual demonstrative thought, the property-dependent theory. It argues that the theory is superior to both the object-dependent theory (Evans, McDowell) and the object-independent theory (Burge).

The ontological and analytical status of Marxian social theory has been a matter of fierce controversy since Marx’s death, both within and without Marxist circles. A particular source of contention has been over whether Marxism should be construed as an objective science of the capitalist mode of production or as an ethico-philosophical critique of bourgeois society. This is paralleled by the dispute over whether Marxism ought to be considered a humanism or a structuralism. This article addresses both sides of this (...) debate. The argument is that, rather than Marx’s own social thought being split into incompatible poles, giving rise to ‘two Marxisms’, it forms a coherent unity. Marx’s social theory is neither humanist philosophy, nor structural science, but is in fact realist science, which synthesizes these apparent antinomies, and thereby transcends both. (shrink)

Is free will just an illusion? What is it in the brain that allows us to pursue our own actions and objectives? What is it about this organ that permits seemingly purposeful behaviour, giving us the impression we are free? This book takes a journey into the brain to examine what is about known voluntary behaviour, and why it can go wrong.

The paper proposes a new method of researching public opinion for the purposes of valuing the outcomes of healthcare interventions. The issue I address is that, under the quality-adjusted life-year system, disabled patients face a higher cost-effectiveness hurdle than able-bodied patients. This seems inequitable. The author considers the alternative approaches to valuing healthcare interventions that have been proposed, and shows that all of them face the same problem. It is proposed that to value an outcome, instead of researching the general (...) public, the population that is to be targeted with the intervention should be researched. (shrink)

Commonsense psychological explanation of action upon objects seems to require not only reference to agents’ demonstrative beliefs about the objects acted upon but also the de re ascription of these demonstrative beliefs. There is an influential objection, however, to the de re component: since de re ascriptions permit the attribution to agents of inconsistent attitudes about the objects acted upon, they cannot explain (or predict) agents’ actions upon those objects. This paper answers the objection by presenting a contextualist theory of (...) de re action explanation according to which agents’ beliefs about objects are logically fragmented. (shrink)